Merge branch 'gitlab-ci-docker' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Wed, 14 Feb 2018 23:38:58 +0000 (23:38 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Wed, 14 Feb 2018 23:38:58 +0000 (23:38 +0000)
commit716f7cd3f77174090e0d886985a9be83928ade2e
tree3cd62a6e7fdc250f173baca130c711536f2d7f89
parent7f25cc9d4efab4b54ca4c1269cd9d7de70c47e70
parentdfc1f76be73ffced0552f056dfb01deedde3d95e
Merge branch 'gitlab-ci-docker' into 'master'

Add gitlab-ci support using a prebuilt docker image

See merge request GNOME/gtk!7